home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / Constraints / Donald+Gerald < prev    next >
Text File  |  1994-06-24  |  1KB  |  49 lines
  1. ;DONALD+GERALD=ROBERT
  2.  
  3. (c)
  4.  
  5. ;;; Variables
  6. (r0 d t r1 l r r2 e a r3 b n r4 o g)
  7.  
  8. ;;; Constraints
  9. ((=? (+ d d)(+ t (* 10 r0)))
  10.  (=? (+ l (+ l r0))(+ r (* 10 r1)))
  11.  (=? (+ a (+ a r1))(+ e (* 10 r2)))
  12.  (=? (+ n (+ r r2))(+ b (* 10 r3)))
  13.  (=? (+ o (+ e r3))(+ o (* 10 r4)))
  14.  (=? r (+ d (+ g r4)))
  15.  (<>? d 0) (<>? g 0) (<>? r 0)
  16.  (<>? d o) (<>? d n) (<>? d a)
  17.  (<>? d l) (<>? d g) (<>? d e)
  18.  (<>? d r) (<>? d b) (<>? d t)
  19.  (<>? o n) (<>? o a) (<>? o l)
  20.  (<>? o g) (<>? o e) (<>? o r)
  21.  (<>? o b) (<>? o t) (<>? n a)
  22.  (<>? n l) (<>? n g) (<>? n e)
  23.  (<>? n r) (<>? n b) (<>? n t)
  24.  (<>? a l) (<>? a g) (<>? a e)
  25.  (<>? a r) (<>? a b) (<>? a t)
  26.  (<>? l g) (<>? l e) (<>? l r)
  27.  (<>? l b) (<>? l t) (<>? g e)
  28.  (<>? g r) (<>? g b) (<>? g t)
  29.  (<>? e r) (<>? e b) (<>? e t)
  30.  (<>? r b) (<>? r t) (<>? b t))
  31.  
  32. ;;; Domains
  33. ((0 1)
  34.  (0 1 2 3 4 5 6 7 8 9)
  35.  (0 1 2 3 4 5 6 7 8 9)
  36.  (0 1)
  37.  (0 1 2 3 4 5 6 7 8 9)
  38.  (0 1 2 3 4 5 6 7 8 9)
  39.  (0 1)
  40.  (0 1 2 3 4 5 6 7 8 9)
  41.  (0 1 2 3 4 5 6 7 8 9)
  42.  (0 1)
  43.  (0 1 2 3 4 5 6 7 8 9)
  44.  (0 1 2 3 4 5 6 7 8 9)
  45.  (0 1)
  46.  (0 1 2 3 4 5 6 7 8 9)
  47.  (0 1 2 3 4 5 6 7 8 9))
  48.  
  49.